Modal logic - PDFSEARCH.IO - Document Search Engine

Modal logic
Results: 1643

#	Item
71	Variations on a Theme by Yablo Hartry Field Naive truth theory is, roughly, the theory of truth that in classical logic leads to well-known paradoxes (such as the Liar paradox and the Curry paradox). One response to thes Add to Reading List Source URL: philosophy.fas.nyu.edu Language: English - Date: 2006-10-05 23:08:28 Non-classical logic Philosophical logic Model theory Mathematical logic Logical connectives Saul Kripke Modal logic First-order logic Truth function Negation Logic Liar paradox
72	Journal of Artificial Intelligence Research–228 Submitted 03/09; publishedHypertableau Reasoning for Description Logics Boris Motik Add to Reading List Source URL: www.hermit-reasoner.com Language: English - Date: 2012-02-03 12:06:02 Automated theorem proving Logic programming Logic in computer science Method of analytic tableaux Admissible rule Modal logic Unification
73	De Re / De Dicto Ezra Keshet and Florian Schwarz September Add to Reading List Source URL: florianschwarz.net Language: English - Date: 2014-09-08 15:06:42 Modality Philosophy of language Semantics Philosophical logic Grammar De dicto and de re Modal logic De se Adjunct Linguistic modality Predicate Logical Form
74	games An Open Access Journal Editor-in-Chief Message from the Editor-in-Chief Add to Reading List Source URL: philsci.org Language: English - Date: 2016-01-19 14:19:43 Formal epistemology Artificial intelligence Game theory Epistemology Statistical inference Common knowledge Epistemic modal logic MDPI Inductive reasoning Bayesian game
75	piotr ka z´ mierczak A G E N T S T H AT P L AY B Y T H E R U L E S Piotr Ka´zmierczak: Agents that Play by the Rules, Using Social Laws for Coordination of Multiagent Systems, © October 2014 Add to Reading List Source URL: piotrkazmierczak.com Language: English - Date: 2016-06-02 10:18:50 Artificial intelligence Multi-agent systems Formal sciences Simulation Alternating-time Temporal Logic Modal logic Norm Temporal logic Game theory International Conference on Autonomous Agents and Multiagent Systems Logic Agent-based model
76	THE EXPRESSION OF MODALITY IN SPANISH SIGN LANGUAGE* Add to Reading List Source URL: home.hum.uva.nl Language: English - Date: 2010-11-10 07:12:34 Grammatical moods Modality Concepts Linguistic modality Semantics Deontic modality Modal verb Philosophical logic Epistemic modality Modal logic Evidentiality Verb
77	Microsoft Word - Brun-AdequateFormalization&DeMorgansArgument.doc Add to Reading List Source URL: www.georgbrun.ch Language: English - Date: 2014-10-16 03:42:08 Arguments Philosophical logic Critical thinking Logical consequence Mathematical logic First-order logic Algorithm Logical form Modal logic
78	Feferman on Godel and Free Will Abstract Feferman surveys the work of Godel and Turing, and, although not himself holding a mechanist view of the mind as a whole, raises objections to the anti-mechanist argument put fo Add to Reading List Source URL: users.ox.ac.uk Language: English - Date: 2010-11-17 13:56:05 Guggenheim Fellows Mathematical logic Cognitive science Materialism Mechanism Naturalism George Boolos Logic Modal logic Mathematical proof Solomon Feferman Contradiction
79	On the Semantics of “hope” -- From the Perspective of Modal Concord Add to Reading List Source URL: www.macsim.us Language: English - Date: 2011-06-24 13:35:02 Modality Modal logic Non-classical logic Philosophical logic Modal operator Verb Grammatical aspect
80	FIRST ORDER THEORIES OF INDIVIDUAL CONCEPTS AND PROPOSITIONS John McCarthy, Stanford University 2000 Oct 31, 10:36 a.m. Abstract Add to Reading List Source URL: www-formal.stanford.edu Language: English - Date: 2002-03-26 18:10:07 Predicate logic Quantification Philosophical logic Mathematical logic Model theory Modal logic Predicate FO Axiom First-order logic Quantifier Existential quantification

UPDATE